node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
link(1,4) :- #0.606.
link(4,1) :- #0.158.
link(1,14) :- #0.351.
link(14,1) :- #0.637.
link(1,19) :- #0.324.
link(19,1) :- #0.476.
link(1,21) :- #0.895.
link(21,1) :- #0.152.
link(1,24) :- #0.827.
link(24,1) :- #0.026.
link(1,32) :- #0.469.
link(32,1) :- #0.324.
link(1,38) :- #0.478.
link(38,1) :- #0.003.
link(1,39) :- #0.551.
link(39,1) :- #0.364.
link(1,52) :- #0.945.
link(52,1) :- #0.785.
link(1,62) :- #0.806.
link(62,1) :- #0.172.
link(1,71) :- #0.45.
link(71,1) :- #0.43.
link(1,123) :- #0.72.
link(123,1) :- #0.318.
link(1,126) :- #0.251.
link(126,1) :- #0.015.
link(1,129) :- #0.96.
link(129,1) :- #0.622.
link(2,3) :- #0.748.
link(3,2) :- #0.896.
link(2,8) :- #0.345.
link(8,2) :- #0.071.
link(2,11) :- #0.719.
link(11,2) :- #0.816.
link(2,14) :- #0.802.
link(14,2) :- #0.131.
link(2,15) :- #0.482.
link(15,2) :- #0.016.
link(2,23) :- #0.963.
link(23,2) :- #0.136.
link(2,33) :- #0.707.
link(33,2) :- #0.95.
link(2,34) :- #0.517.
link(34,2) :- #0.454.
link(2,37) :- #0.387.
link(37,2) :- #0.359.
link(2,39) :- #0.209.
link(39,2) :- #0.844.
link(2,42) :- #0.002.
link(42,2) :- #0.323.
link(2,55) :- #0.61.
link(55,2) :- #0.343.
link(2,64) :- #0.256.
link(64,2) :- #0.967.
link(2,65) :- #0.691.
link(65,2) :- #0.696.
link(2,69) :- #0.307.
link(69,2) :- #0.801.
link(2,88) :- #0.645.
link(88,2) :- #0.616.
link(2,96) :- #0.014.
link(96,2) :- #0.65.
link(2,99) :- #0.681.
link(99,2) :- #0.729.
link(2,115) :- #0.275.
link(115,2) :- #0.049.
link(2,126) :- #0.159.
link(126,2) :- #0.23.
link(3,7) :- #0.772.
link(7,3) :- #0.041.
link(3,16) :- #0.956.
link(16,3) :- #0.823.
link(3,22) :- #0.613.
link(22,3) :- #0.11.
link(3,33) :- #0.494.
link(33,3) :- #0.287.
link(3,46) :- #0.186.
link(46,3) :- #0.438.
link(3,71) :- #0.115.
link(71,3) :- #0.712.
link(3,85) :- #0.639.
link(85,3) :- #0.749.
link(3,90) :- #0.244.
link(90,3) :- #0.619.
link(3,115) :- #0.376.
link(115,3) :- #0.262.
link(3,123) :- #0.857.
link(123,3) :- #0.399.
link(4,24) :- #0.877.
link(24,4) :- #0.15.
link(4,53) :- #0.663.
link(53,4) :- #0.95.
link(4,57) :- #0.471.
link(57,4) :- #0.553.
link(4,62) :- #0.077.
link(62,4) :- #0.636.
link(4,71) :- #0.967.
link(71,4) :- #0.426.
link(4,88) :- #0.628.
link(88,4) :- #0.443.
link(4,121) :- #0.561.
link(121,4) :- #0.323.
link(4,122) :- #0.047.
link(122,4) :- #0.06.
link(4,129) :- #0.161.
link(129,4) :- #0.531.
link(5,17) :- #0.712.
link(17,5) :- #0.82.
link(5,22) :- #0.483.
link(22,5) :- #0.716.
link(5,38) :- #0.663.
link(38,5) :- #0.652.
link(5,40) :- #0.198.
link(40,5) :- #0.615.
link(5,51) :- #0.49.
link(51,5) :- #0.136.
link(5,60) :- #0.391.
link(60,5) :- #0.872.
link(5,62) :- #0.466.
link(62,5) :- #0.153.
link(5,74) :- #0.151.
link(74,5) :- #0.518.
link(5,86) :- #0.473.
link(86,5) :- #0.725.
link(5,95) :- #0.505.
link(95,5) :- #0.123.
link(5,118) :- #0.145.
link(118,5) :- #0.209.
link(5,129) :- #0.177.
link(129,5) :- #0.137.
link(6,9) :- #0.932.
link(9,6) :- #0.794.
link(6,34) :- #0.789.
link(34,6) :- #0.644.
link(6,42) :- #0.311.
link(42,6) :- #0.073.
link(6,43) :- #0.701.
link(43,6) :- #0.626.
link(6,48) :- #0.489.
link(48,6) :- #0.63.
link(6,68) :- #0.554.
link(68,6) :- #0.945.
link(6,72) :- #0.587.
link(72,6) :- #0.841.
link(6,74) :- #0.732.
link(74,6) :- #0.966.
link(6,83) :- #0.495.
link(83,6) :- #0.424.
link(6,111) :- #0.156.
link(111,6) :- #0.687.
link(7,12) :- #0.517.
link(12,7) :- #0.373.
link(7,15) :- #0.418.
link(15,7) :- #0.249.
link(7,24) :- #0.162.
link(24,7) :- #0.247.
link(7,39) :- #0.002.
link(39,7) :- #0.125.
link(7,42) :- #0.317.
link(42,7) :- #0.239.
link(7,53) :- #0.905.
link(53,7) :- #0.141.
link(7,57) :- #0.893.
link(57,7) :- #0.835.
link(7,83) :- #0.085.
link(83,7) :- #0.117.
link(7,97) :- #0.268.
link(97,7) :- #0.247.
link(7,99) :- #0.833.
link(99,7) :- #0.384.
link(7,107) :- #0.444.
link(107,7) :- #0.417.
link(7,118) :- #0.119.
link(118,7) :- #0.044.
link(8,13) :- #0.417.
link(13,8) :- #0.388.
link(8,28) :- #0.514.
link(28,8) :- #0.861.
link(8,30) :- #0.432.
link(30,8) :- #0.002.
link(8,39) :- #0.141.
link(39,8) :- #0.164.
link(8,44) :- #0.301.
link(44,8) :- #0.308.
link(8,53) :- #0.964.
link(53,8) :- #0.709.
link(8,54) :- #0.145.
link(54,8) :- #0.212.
link(8,63) :- #0.154.
link(63,8) :- #0.924.
link(8,66) :- #0.607.
link(66,8) :- #0.748.
link(8,95) :- #0.473.
link(95,8) :- #0.192.
link(9,12) :- #0.804.
link(12,9) :- #0.952.
link(9,37) :- #0.953.
link(37,9) :- #0.453.
link(9,51) :- #0.038.
link(51,9) :- #0.745.
link(9,64) :- #0.315.
link(64,9) :- #0.575.
link(9,83) :- #0.212.
link(83,9) :- #0.951.
link(9,85) :- #0.812.
link(85,9) :- #0.05.
link(9,94) :- #0.179.
link(94,9) :- #0.748.
link(9,97) :- #0.554.
link(97,9) :- #0.03.
link(9,101) :- #0.223.
link(101,9) :- #0.509.
link(9,108) :- #0.102.
link(108,9) :- #0.751.
link(10,38) :- #0.797.
link(38,10) :- #0.271.
link(10,39) :- #0.619.
link(39,10) :- #0.677.
link(10,45) :- #0.529.
link(45,10) :- #0.551.
link(10,54) :- #0.236.
link(54,10) :- #0.167.
link(10,64) :- #0.872.
link(64,10) :- #0.086.
link(10,73) :- #0.492.
link(73,10) :- #0.245.
link(10,74) :- #0.115.
link(74,10) :- #0.447.
link(10,75) :- #0.55.
link(75,10) :- #0.668.
link(10,99) :- #0.611.
link(99,10) :- #0.479.
link(10,113) :- #0.869.
link(113,10) :- #0.452.
link(10,122) :- #0.097.
link(122,10) :- #0.938.
link(11,53) :- #0.875.
link(53,11) :- #0.645.
link(11,62) :- #0.833.
link(62,11) :- #0.605.
link(11,103) :- #0.647.
link(103,11) :- #0.153.
link(11,115) :- #0.803.
link(115,11) :- #0.873.
link(11,123) :- #0.584.
link(123,11) :- #0.001.
link(11,130) :- #0.433.
link(130,11) :- #0.474.
link(12,25) :- #0.443.
link(25,12) :- #0.485.
link(12,36) :- #0.664.
link(36,12) :- #0.428.
link(12,37) :- #0.826.
link(37,12) :- #0.269.
link(12,40) :- #0.055.
link(40,12) :- #0.729.
link(12,45) :- #0.605.
link(45,12) :- #0.74.
link(12,50) :- #0.913.
link(50,12) :- #0.914.
link(12,54) :- #0.537.
link(54,12) :- #0.734.
link(12,69) :- #0.724.
link(69,12) :- #0.932.
link(12,85) :- #0.374.
link(85,12) :- #0.458.
link(12,89) :- #0.137.
link(89,12) :- #0.289.
link(12,99) :- #0.542.
link(99,12) :- #0.736.
link(12,101) :- #0.947.
link(101,12) :- #0.731.
link(12,110) :- #0.434.
link(110,12) :- #0.278.
link(13,20) :- #0.44.
link(20,13) :- #0.01.
link(13,27) :- #0.75.
link(27,13) :- #0.88.
link(13,40) :- #0.716.
link(40,13) :- #0.949.
link(13,53) :- #0.059.
link(53,13) :- #0.421.
link(13,63) :- #0.362.
link(63,13) :- #0.912.
link(13,65) :- #0.99.
link(65,13) :- #0.224.
link(13,67) :- #0.914.
link(67,13) :- #0.319.
link(13,69) :- #0.493.
link(69,13) :- #0.27.
link(13,84) :- #0.7.
link(84,13) :- #0.394.
link(13,95) :- #0.524.
link(95,13) :- #0.666.
link(13,104) :- #0.859.
link(104,13) :- #0.316.
link(13,108) :- #0.965.
link(108,13) :- #0.438.
link(13,109) :- #0.103.
link(109,13) :- #0.302.
link(13,129) :- #0.645.
link(129,13) :- #0.615.
link(14,34) :- #0.112.
link(34,14) :- #0.317.
link(14,73) :- #0.983.
link(73,14) :- #0.856.
link(14,74) :- #0.603.
link(74,14) :- #0.564.
link(14,89) :- #0.056.
link(89,14) :- #0.765.
link(14,90) :- #0.218.
link(90,14) :- #0.087.
link(14,107) :- #0.132.
link(107,14) :- #0.873.
link(14,110) :- #0.296.
link(110,14) :- #0.798.
link(14,126) :- #0.922.
link(126,14) :- #0.23.
link(14,127) :- #0.747.
link(127,14) :- #0.416.
link(14,128) :- #0.66.
link(128,14) :- #0.117.
link(15,20) :- #0.978.
link(20,15) :- #0.82.
link(15,31) :- #0.583.
link(31,15) :- #0.556.
link(15,38) :- #0.851.
link(38,15) :- #0.593.
link(15,42) :- #0.517.
link(42,15) :- #0.858.
link(15,45) :- #0.923.
link(45,15) :- #0.254.
link(15,61) :- #0.913.
link(61,15) :- #0.173.
link(15,67) :- #0.593.
link(67,15) :- #0.278.
link(15,76) :- #0.391.
link(76,15) :- #0.913.
link(15,77) :- #0.884.
link(77,15) :- #0.179.
link(15,83) :- #0.241.
link(83,15) :- #0.635.
link(15,87) :- #0.428.
link(87,15) :- #0.252.
link(15,88) :- #0.49.
link(88,15) :- #0.739.
link(15,95) :- #0.073.
link(95,15) :- #0.087.
link(15,97) :- #0.541.
link(97,15) :- #0.624.
link(15,100) :- #0.595.
link(100,15) :- #0.473.
link(15,108) :- #0.476.
link(108,15) :- #0.182.
link(15,115) :- #0.132.
link(115,15) :- #0.241.
link(15,121) :- #0.354.
link(121,15) :- #0.044.
link(15,122) :- #0.609.
link(122,15) :- #0.83.
link(16,20) :- #0.025.
link(20,16) :- #0.518.
link(16,42) :- #0.033.
link(42,16) :- #0.904.
link(16,52) :- #0.492.
link(52,16) :- #0.69.
link(16,54) :- #0.72.
link(54,16) :- #0.023.
link(16,82) :- #0.907.
link(82,16) :- #0.85.
link(16,83) :- #0.466.
link(83,16) :- #0.806.
link(16,96) :- #0.164.
link(96,16) :- #0.949.
link(16,100) :- #0.967.
link(100,16) :- #0.008.
link(16,101) :- #0.389.
link(101,16) :- #0.587.
link(16,109) :- #0.484.
link(109,16) :- #0.639.
link(16,127) :- #0.546.
link(127,16) :- #0.648.
link(17,24) :- #0.444.
link(24,17) :- #0.537.
link(17,29) :- #0.999.
link(29,17) :- #0.776.
link(17,30) :- #0.111.
link(30,17) :- #0.336.
link(17,32) :- #0.226.
link(32,17) :- #0.732.
link(17,37) :- #0.45.
link(37,17) :- #0.41.
link(17,39) :- #0.383.
link(39,17) :- #0.283.
link(17,47) :- #0.145.
link(47,17) :- #0.402.
link(17,50) :- #0.16.
link(50,17) :- #0.69.
link(17,64) :- #0.517.
link(64,17) :- #0.21.
link(17,81) :- #0.067.
link(81,17) :- #0.369.
link(17,95) :- #0.647.
link(95,17) :- #0.546.
link(17,96) :- #0.962.
link(96,17) :- #0.723.
link(17,101) :- #0.672.
link(101,17) :- #0.44.
link(17,110) :- #0.428.
link(110,17) :- #0.062.
link(17,111) :- #0.428.
link(111,17) :- #0.47.
link(17,112) :- #0.425.
link(112,17) :- #0.514.
link(17,121) :- #0.908.
link(121,17) :- #0.174.
link(17,122) :- #0.062.
link(122,17) :- #0.809.
link(18,23) :- #0.416.
link(23,18) :- #0.716.
link(18,37) :- #0.108.
link(37,18) :- #0.044.
link(18,41) :- #0.546.
link(41,18) :- #0.589.
link(18,45) :- #0.055.
link(45,18) :- #0.303.
link(18,70) :- #0.955.
link(70,18) :- #0.117.
link(18,71) :- #0.755.
link(71,18) :- #0.353.
link(18,78) :- #0.067.
link(78,18) :- #0.965.
link(18,81) :- #0.361.
link(81,18) :- #0.028.
link(18,90) :- #0.914.
link(90,18) :- #0.529.
link(18,96) :- #0.048.
link(96,18) :- #0.291.
link(18,103) :- #0.029.
link(103,18) :- #0.067.
link(18,107) :- #0.6.
link(107,18) :- #0.057.
link(18,122) :- #0.011.
link(122,18) :- #0.223.
link(19,33) :- #0.925.
link(33,19) :- #0.299.
link(19,37) :- #0.903.
link(37,19) :- #0.11.
link(19,53) :- #0.127.
link(53,19) :- #0.842.
link(19,66) :- #0.884.
link(66,19) :- #0.5.
link(19,69) :- #0.271.
link(69,19) :- #0.018.
link(19,75) :- #0.99.
link(75,19) :- #0.898.
link(19,76) :- #0.139.
link(76,19) :- #0.25.
link(19,78) :- #0.262.
link(78,19) :- #0.861.
link(19,81) :- #0.313.
link(81,19) :- #0.009.
link(19,87) :- #0.12.
link(87,19) :- #0.075.
link(19,92) :- #0.909.
link(92,19) :- #0.929.
link(19,96) :- #0.06.
link(96,19) :- #0.324.
link(19,97) :- #0.435.
link(97,19) :- #0.259.
link(19,106) :- #0.487.
link(106,19) :- #0.861.
link(19,113) :- #0.995.
link(113,19) :- #0.137.
link(19,115) :- #0.327.
link(115,19) :- #0.287.
link(19,119) :- #0.477.
link(119,19) :- #0.152.
link(19,121) :- #0.808.
link(121,19) :- #0.1.
link(19,124) :- #0.418.
link(124,19) :- #0.526.
link(19,126) :- #0.772.
link(126,19) :- #0.688.
link(20,21) :- #0.783.
link(21,20) :- #0.546.
link(20,49) :- #0.962.
link(49,20) :- #0.896.
link(20,52) :- #0.327.
link(52,20) :- #0.049.
link(20,59) :- #0.026.
link(59,20) :- #0.041.
link(20,62) :- #0.405.
link(62,20) :- #0.184.
link(20,63) :- #0.432.
link(63,20) :- #0.653.
link(20,67) :- #0.658.
link(67,20) :- #0.032.
link(20,73) :- #0.866.
link(73,20) :- #0.391.
link(20,79) :- #0.895.
link(79,20) :- #0.156.
link(20,88) :- #0.121.
link(88,20) :- #0.86.
link(20,104) :- #0.644.
link(104,20) :- #0.703.
link(20,112) :- #0.406.
link(112,20) :- #0.089.
link(20,126) :- #0.077.
link(126,20) :- #0.311.
link(20,130) :- #0.615.
link(130,20) :- #0.521.
link(21,33) :- #0.813.
link(33,21) :- #0.918.
link(21,41) :- #0.649.
link(41,21) :- #0.812.
link(21,43) :- #0.017.
link(43,21) :- #0.555.
link(21,45) :- #0.527.
link(45,21) :- #0.767.
link(21,61) :- #0.26.
link(61,21) :- #0.62.
link(21,74) :- #0.843.
link(74,21) :- #0.205.
link(21,78) :- #0.186.
link(78,21) :- #0.72.
link(21,85) :- #0.353.
link(85,21) :- #0.783.
link(21,87) :- #0.605.
link(87,21) :- #0.597.
link(21,97) :- #0.818.
link(97,21) :- #0.063.
link(21,108) :- #0.452.
link(108,21) :- #0.268.
link(21,112) :- #0.168.
link(112,21) :- #0.875.
link(21,119) :- #0.009.
link(119,21) :- #0.433.
link(21,128) :- #0.844.
link(128,21) :- #0.032.
link(22,34) :- #0.128.
link(34,22) :- #0.448.
link(22,59) :- #0.57.
link(59,22) :- #0.181.
link(22,75) :- #0.01.
link(75,22) :- #0.178.
link(22,88) :- #0.576.
link(88,22) :- #0.378.
link(22,107) :- #0.75.
link(107,22) :- #0.631.
link(22,115) :- #0.527.
link(115,22) :- #0.27.
link(22,125) :- #0.774.
link(125,22) :- #0.121.
link(22,128) :- #0.346.
link(128,22) :- #0.508.
link(23,36) :- #0.651.
link(36,23) :- #0.462.
link(23,37) :- #0.141.
link(37,23) :- #0.626.
link(23,38) :- #0.534.
link(38,23) :- #0.255.
link(23,42) :- #0.39.
link(42,23) :- #0.565.
link(23,46) :- #0.7.
link(46,23) :- #0.171.
link(23,50) :- #0.916.
link(50,23) :- #0.802.
link(23,70) :- #0.614.
link(70,23) :- #0.455.
link(23,79) :- #0.609.
link(79,23) :- #0.607.
link(23,82) :- #0.733.
link(82,23) :- #0.823.
link(23,83) :- #0.795.
link(83,23) :- #0.857.
link(23,85) :- #0.465.
link(85,23) :- #0.14.
link(23,90) :- #0.103.
link(90,23) :- #0.584.
link(23,94) :- #0.334.
link(94,23) :- #0.573.
link(23,104) :- #0.1.
link(104,23) :- #0.53.
link(23,106) :- #0.551.
link(106,23) :- #0.191.
link(23,108) :- #0.039.
link(108,23) :- #0.583.
link(24,25) :- #0.599.
link(25,24) :- #0.007.
link(24,41) :- #0.523.
link(41,24) :- #0.505.
link(24,55) :- #0.772.
link(55,24) :- #0.211.
link(24,67) :- #0.363.
link(67,24) :- #0.565.
link(24,77) :- #0.462.
link(77,24) :- #0.45.
link(24,91) :- #0.471.
link(91,24) :- #0.025.
link(24,106) :- #0.325.
link(106,24) :- #0.788.
link(24,115) :- #0.514.
link(115,24) :- #0.154.
link(25,31) :- #0.95.
link(31,25) :- #0.753.
link(25,35) :- #0.407.
link(35,25) :- #0.054.
link(25,61) :- #0.593.
link(61,25) :- #0.268.
link(25,72) :- #0.552.
link(72,25) :- #0.835.
link(25,74) :- #0.457.
link(74,25) :- #0.408.
link(25,76) :- #0.307.
link(76,25) :- #0.184.
link(25,90) :- #0.648.
link(90,25) :- #0.704.
link(25,94) :- #0.05.
link(94,25) :- #0.326.
link(25,97) :- #0.798.
link(97,25) :- #0.021.
link(25,98) :- #0.992.
link(98,25) :- #0.468.
link(25,100) :- #0.466.
link(100,25) :- #0.074.
link(25,113) :- #0.708.
link(113,25) :- #0.768.
link(25,119) :- #0.277.
link(119,25) :- #0.111.
link(25,127) :- #0.871.
link(127,25) :- #0.421.
link(26,33) :- #0.775.
link(33,26) :- #0.531.
link(26,68) :- #0.882.
link(68,26) :- #0.791.
link(26,70) :- #0.501.
link(70,26) :- #0.906.
link(26,80) :- #0.619.
link(80,26) :- #0.483.
link(26,90) :- #0.748.
link(90,26) :- #0.484.
link(26,106) :- #0.11.
link(106,26) :- #0.531.
link(26,115) :- #0.984.
link(115,26) :- #0.328.
link(26,117) :- #0.374.
link(117,26) :- #0.367.
link(26,122) :- #0.435.
link(122,26) :- #0.526.
link(26,125) :- #0.31.
link(125,26) :- #0.092.
link(27,36) :- #0.866.
link(36,27) :- #0.625.
link(27,39) :- #0.34.
link(39,27) :- #0.811.
link(27,44) :- #0.884.
link(44,27) :- #0.815.
link(27,64) :- #0.511.
link(64,27) :- #0.034.
link(27,68) :- #0.215.
link(68,27) :- #0.185.
link(27,71) :- #0.076.
link(71,27) :- #0.46.
link(27,73) :- #0.426.
link(73,27) :- #0.308.
link(27,82) :- #0.867.
link(82,27) :- #0.999.
link(27,91) :- #0.443.
link(91,27) :- #0.9.
link(27,96) :- #0.332.
link(96,27) :- #0.768.
link(27,109) :- #0.463.
link(109,27) :- #0.383.
link(27,114) :- #0.216.
link(114,27) :- #0.653.
link(27,130) :- #0.377.
link(130,27) :- #0.084.
link(28,33) :- #0.041.
link(33,28) :- #0.051.
link(28,47) :- #0.421.
link(47,28) :- #0.767.
link(28,75) :- #0.662.
link(75,28) :- #0.79.
link(28,78) :- #0.352.
link(78,28) :- #0.347.
link(28,86) :- #0.933.
link(86,28) :- #0.082.
link(28,90) :- #0.226.
link(90,28) :- #0.353.
link(28,127) :- #0.453.
link(127,28) :- #0.544.
link(29,46) :- #0.528.
link(46,29) :- #0.026.
link(29,56) :- #0.313.
link(56,29) :- #0.905.
link(29,58) :- #0.787.
link(58,29) :- #0.463.
link(29,68) :- #0.968.
link(68,29) :- #0.366.
link(29,76) :- #0.288.
link(76,29) :- #0.727.
link(29,112) :- #0.715.
link(112,29) :- #0.87.
link(29,117) :- #0.463.
link(117,29) :- #0.32.
link(30,50) :- #0.759.
link(50,30) :- #0.619.
link(30,57) :- #0.201.
link(57,30) :- #0.307.
link(30,60) :- #0.536.
link(60,30) :- #0.231.
link(30,77) :- #0.473.
link(77,30) :- #0.049.
link(30,90) :- #0.393.
link(90,30) :- #0.406.
link(30,92) :- #0.527.
link(92,30) :- #0.134.
link(30,105) :- #0.222.
link(105,30) :- #0.059.
link(30,113) :- #0.463.
link(113,30) :- #0.276.
link(30,124) :- #0.336.
link(124,30) :- #0.488.
link(30,129) :- #0.639.
link(129,30) :- #0.794.
link(31,34) :- #0.29.
link(34,31) :- #0.608.
link(31,41) :- #0.263.
link(41,31) :- #0.515.
link(31,79) :- #0.212.
link(79,31) :- #0.996.
link(31,87) :- #0.087.
link(87,31) :- #0.491.
link(31,103) :- #0.274.
link(103,31) :- #0.737.
link(31,109) :- #0.952.
link(109,31) :- #0.878.
link(31,119) :- #0.566.
link(119,31) :- #0.942.
link(31,120) :- #0.209.
link(120,31) :- #0.283.
link(31,121) :- #0.653.
link(121,31) :- #0.456.
link(32,39) :- #0.938.
link(39,32) :- #0.27.
link(32,43) :- #0.692.
link(43,32) :- #0.422.
link(32,50) :- #0.378.
link(50,32) :- #0.938.
link(32,51) :- #0.99.
link(51,32) :- #0.196.
link(32,56) :- #0.692.
link(56,32) :- #0.18.
link(32,64) :- #0.169.
link(64,32) :- #0.797.
link(32,67) :- #0.95.
link(67,32) :- #0.634.
link(32,71) :- #0.77.
link(71,32) :- #0.904.
link(32,79) :- #0.165.
link(79,32) :- #0.365.
link(32,102) :- #0.505.
link(102,32) :- #0.075.
link(32,103) :- #0.968.
link(103,32) :- #0.961.
link(32,104) :- #0.905.
link(104,32) :- #0.675.
link(32,110) :- #0.662.
link(110,32) :- #0.219.
link(32,111) :- #0.694.
link(111,32) :- #0.157.
link(32,122) :- #0.514.
link(122,32) :- #0.666.
link(32,130) :- #0.444.
link(130,32) :- #0.211.
link(33,52) :- #0.147.
link(52,33) :- #0.376.
link(33,55) :- #0.534.
link(55,33) :- #0.65.
link(33,57) :- #0.322.
link(57,33) :- #0.367.
link(33,69) :- #0.844.
link(69,33) :- #0.043.
link(33,73) :- #0.509.
link(73,33) :- #0.15.
link(33,82) :- #0.296.
link(82,33) :- #0.411.
link(33,94) :- #0.99.
link(94,33) :- #0.046.
link(33,115) :- #0.01.
link(115,33) :- #0.101.
link(34,35) :- #0.347.
link(35,34) :- #0.75.
link(34,37) :- #0.678.
link(37,34) :- #0.095.
link(34,42) :- #0.632.
link(42,34) :- #0.442.
link(34,57) :- #0.441.
link(57,34) :- #0.944.
link(34,61) :- #0.177.
link(61,34) :- #0.805.
link(34,64) :- #0.027.
link(64,34) :- #0.546.
link(34,96) :- #0.332.
link(96,34) :- #0.623.
link(34,108) :- #0.029.
link(108,34) :- #0.645.
link(34,117) :- #0.824.
link(117,34) :- #0.632.
link(34,121) :- #0.486.
link(121,34) :- #0.98.
link(34,124) :- #0.105.
link(124,34) :- #0.899.
link(34,127) :- #0.44.
link(127,34) :- #0.14.
link(34,128) :- #0.907.
link(128,34) :- #0.86.
link(34,129) :- #0.074.
link(129,34) :- #0.573.
link(35,36) :- #0.397.
link(36,35) :- #0.946.
link(35,38) :- #0.558.
link(38,35) :- #0.574.
link(35,51) :- #0.
link(51,35) :- #0.465.
link(35,69) :- #0.685.
link(69,35) :- #0.247.
link(35,86) :- #0.304.
link(86,35) :- #0.46.
link(35,92) :- #0.186.
link(92,35) :- #0.071.
link(35,127) :- #0.024.
link(127,35) :- #0.008.
link(36,43) :- #0.669.
link(43,36) :- #0.142.
link(36,51) :- #0.822.
link(51,36) :- #0.934.
link(36,63) :- #0.017.
link(63,36) :- #0.144.
link(36,67) :- #0.886.
link(67,36) :- #0.904.
link(36,78) :- #0.951.
link(78,36) :- #0.528.
link(36,88) :- #0.431.
link(88,36) :- #0.165.
link(36,95) :- #0.945.
link(95,36) :- #0.88.
link(36,102) :- #0.187.
link(102,36) :- #0.805.
link(36,120) :- #0.614.
link(120,36) :- #0.667.
link(36,122) :- #0.228.
link(122,36) :- #0.918.
link(36,124) :- #0.926.
link(124,36) :- #0.945.
link(36,127) :- #0.088.
link(127,36) :- #0.821.
link(36,128) :- #0.498.
link(128,36) :- #0.459.
link(37,40) :- #0.643.
link(40,37) :- #0.768.
link(37,59) :- #0.935.
link(59,37) :- #0.396.
link(37,65) :- #0.034.
link(65,37) :- #0.092.
link(37,70) :- #0.641.
link(70,37) :- #0.516.
link(37,74) :- #0.496.
link(74,37) :- #0.528.
link(37,85) :- #0.036.
link(85,37) :- #0.259.
link(37,87) :- #0.133.
link(87,37) :- #0.437.
link(37,88) :- #0.32.
link(88,37) :- #0.705.
link(37,125) :- #0.781.
link(125,37) :- #0.799.
link(38,81) :- #0.242.
link(81,38) :- #0.853.
link(38,94) :- #0.392.
link(94,38) :- #0.163.
link(38,97) :- #0.056.
link(97,38) :- #0.09.
link(38,105) :- #0.099.
link(105,38) :- #0.156.
link(38,106) :- #0.609.
link(106,38) :- #0.875.
link(38,116) :- #0.922.
link(116,38) :- #0.874.
link(39,41) :- #0.164.
link(41,39) :- #0.611.
link(39,46) :- #0.111.
link(46,39) :- #0.164.
link(39,68) :- #0.981.
link(68,39) :- #0.327.
link(39,72) :- #0.475.
link(72,39) :- #0.077.
link(39,85) :- #0.375.
link(85,39) :- #0.856.
link(39,86) :- #0.72.
link(86,39) :- #0.955.
link(39,91) :- #0.884.
link(91,39) :- #0.471.
link(39,96) :- #0.345.
link(96,39) :- #0.647.
link(39,104) :- #0.567.
link(104,39) :- #0.694.
link(39,109) :- #0.95.
link(109,39) :- #0.352.
link(39,113) :- #0.372.
link(113,39) :- #0.152.
link(39,125) :- #0.76.
link(125,39) :- #0.785.
link(40,49) :- #0.909.
link(49,40) :- #0.652.
link(40,51) :- #0.664.
link(51,40) :- #0.603.
link(40,67) :- #0.983.
link(67,40) :- #0.943.
link(40,82) :- #0.388.
link(82,40) :- #0.899.
link(40,83) :- #0.545.
link(83,40) :- #0.398.
link(40,88) :- #0.293.
link(88,40) :- #0.627.
link(40,96) :- #0.616.
link(96,40) :- #0.828.
link(40,99) :- #0.448.
link(99,40) :- #0.978.
link(40,117) :- #0.512.
link(117,40) :- #0.825.
link(40,126) :- #0.784.
link(126,40) :- #0.308.
link(40,127) :- #0.789.
link(127,40) :- #0.317.
link(41,43) :- #0.254.
link(43,41) :- #0.402.
link(41,59) :- #0.755.
link(59,41) :- #0.826.
link(41,63) :- #0.784.
link(63,41) :- #0.773.
link(41,77) :- #0.711.
link(77,41) :- #0.158.
link(41,78) :- #0.699.
link(78,41) :- #0.812.
link(41,80) :- #0.933.
link(80,41) :- #0.022.
link(41,86) :- #0.918.
link(86,41) :- #0.772.
link(41,90) :- #0.557.
link(90,41) :- #0.123.
link(41,97) :- #0.314.
link(97,41) :- #0.614.
link(42,45) :- #0.227.
link(45,42) :- #0.358.
link(42,47) :- #0.68.
link(47,42) :- #0.269.
link(42,53) :- #0.616.
link(53,42) :- #0.631.
link(42,66) :- #0.062.
link(66,42) :- #0.93.
link(42,79) :- #0.501.
link(79,42) :- #0.707.
link(42,84) :- #0.073.
link(84,42) :- #0.083.
link(42,104) :- #0.281.
link(104,42) :- #0.35.
link(42,113) :- #0.934.
link(113,42) :- #0.324.
link(42,128) :- #0.98.
link(128,42) :- #0.384.
link(43,46) :- #0.627.
link(46,43) :- #0.961.
link(43,59) :- #0.389.
link(59,43) :- #0.299.
link(43,72) :- #0.775.
link(72,43) :- #0.428.
link(43,78) :- #0.076.
link(78,43) :- #0.702.
link(43,86) :- #0.841.
link(86,43) :- #0.77.
link(43,111) :- #0.088.
link(111,43) :- #0.369.
link(43,113) :- #0.481.
link(113,43) :- #0.672.
link(43,115) :- #0.116.
link(115,43) :- #0.56.
link(43,120) :- #0.406.
link(120,43) :- #0.607.
link(43,129) :- #0.215.
link(129,43) :- #0.657.
link(44,53) :- #0.868.
link(53,44) :- #0.688.
link(44,80) :- #0.496.
link(80,44) :- #0.34.
link(44,92) :- #0.801.
link(92,44) :- #0.478.
link(44,100) :- #0.178.
link(100,44) :- #0.456.
link(44,106) :- #0.063.
link(106,44) :- #0.583.
link(44,111) :- #0.23.
link(111,44) :- #0.303.
link(44,113) :- #0.975.
link(113,44) :- #0.874.
link(44,124) :- #0.446.
link(124,44) :- #0.274.
link(44,129) :- #0.228.
link(129,44) :- #0.23.
link(45,54) :- #0.958.
link(54,45) :- #0.034.
link(45,63) :- #0.865.
link(63,45) :- #0.001.
link(45,68) :- #0.069.
link(68,45) :- #0.783.
link(45,72) :- #0.783.
link(72,45) :- #0.89.
link(45,83) :- #0.196.
link(83,45) :- #0.452.
link(45,90) :- #0.444.
link(90,45) :- #0.643.
link(45,93) :- #0.068.
link(93,45) :- #0.178.
link(45,103) :- #0.073.
link(103,45) :- #0.999.
link(45,105) :- #0.056.
link(105,45) :- #0.329.
link(46,49) :- #0.842.
link(49,46) :- #0.634.
link(46,54) :- #0.19.
link(54,46) :- #0.016.
link(46,55) :- #0.596.
link(55,46) :- #0.697.
link(46,64) :- #0.683.
link(64,46) :- #0.289.
link(46,66) :- #0.838.
link(66,46) :- #0.714.
link(46,76) :- #0.225.
link(76,46) :- #0.26.
link(46,95) :- #0.498.
link(95,46) :- #0.738.
link(46,99) :- #0.413.
link(99,46) :- #0.753.
link(46,107) :- #0.679.
link(107,46) :- #0.072.
link(46,122) :- #0.066.
link(122,46) :- #0.893.
link(46,123) :- #0.025.
link(123,46) :- #0.745.
link(47,62) :- #0.974.
link(62,47) :- #0.368.
link(47,67) :- #0.756.
link(67,47) :- #0.269.
link(47,68) :- #0.702.
link(68,47) :- #0.186.
link(47,77) :- #0.015.
link(77,47) :- #0.369.
link(47,82) :- #0.144.
link(82,47) :- #0.046.
link(47,90) :- #0.133.
link(90,47) :- #0.325.
link(47,93) :- #0.63.
link(93,47) :- #0.413.
link(47,97) :- #0.325.
link(97,47) :- #0.841.
link(47,108) :- #0.915.
link(108,47) :- #0.839.
link(47,119) :- #0.305.
link(119,47) :- #0.674.
link(47,120) :- #0.507.
link(120,47) :- #0.582.
link(48,56) :- #0.28.
link(56,48) :- #0.53.
link(48,81) :- #0.572.
link(81,48) :- #0.56.
link(48,91) :- #0.861.
link(91,48) :- #0.381.
link(48,95) :- #0.431.
link(95,48) :- #0.519.
link(48,110) :- #0.871.
link(110,48) :- #0.615.
link(48,124) :- #0.093.
link(124,48) :- #0.198.
link(48,125) :- #0.901.
link(125,48) :- #0.486.
link(48,129) :- #0.953.
link(129,48) :- #0.493.
link(49,51) :- #0.412.
link(51,49) :- #0.691.
link(49,53) :- #0.932.
link(53,49) :- #0.92.
link(49,72) :- #0.161.
link(72,49) :- #0.576.
link(49,83) :- #0.742.
link(83,49) :- #0.392.
link(49,115) :- #0.834.
link(115,49) :- #0.153.
link(49,127) :- #0.546.
link(127,49) :- #0.681.
link(50,85) :- #0.821.
link(85,50) :- #0.749.
link(50,91) :- #0.877.
link(91,50) :- #0.364.
link(50,99) :- #0.595.
link(99,50) :- #0.501.
link(50,119) :- #0.005.
link(119,50) :- #0.245.
link(50,122) :- #0.853.
link(122,50) :- #0.904.
link(50,124) :- #0.869.
link(124,50) :- #0.748.
link(51,71) :- #0.438.
link(71,51) :- #0.283.
link(51,81) :- #0.627.
link(81,51) :- #0.712.
link(51,84) :- #0.604.
link(84,51) :- #0.934.
link(51,99) :- #0.895.
link(99,51) :- #0.055.
link(51,121) :- #0.88.
link(121,51) :- #0.268.
link(52,59) :- #0.896.
link(59,52) :- #0.506.
link(52,71) :- #0.041.
link(71,52) :- #0.735.
link(52,83) :- #0.14.
link(83,52) :- #0.761.
link(52,92) :- #0.352.
link(92,52) :- #0.552.
link(52,95) :- #0.807.
link(95,52) :- #0.12.
link(52,98) :- #0.671.
link(98,52) :- #0.119.
link(52,114) :- #0.839.
link(114,52) :- #0.645.
link(52,115) :- #0.373.
link(115,52) :- #0.76.
link(53,54) :- #0.409.
link(54,53) :- #0.835.
link(53,66) :- #0.749.
link(66,53) :- #0.667.
link(53,68) :- #0.377.
link(68,53) :- #0.492.
link(53,94) :- #0.024.
link(94,53) :- #0.184.
link(53,99) :- #0.547.
link(99,53) :- #0.053.
link(53,109) :- #0.777.
link(109,53) :- #0.25.
link(53,117) :- #0.759.
link(117,53) :- #0.012.
link(53,122) :- #0.219.
link(122,53) :- #0.7.
link(53,126) :- #0.725.
link(126,53) :- #0.843.
link(54,60) :- #0.659.
link(60,54) :- #0.478.
link(54,65) :- #0.86.
link(65,54) :- #0.947.
link(54,74) :- #0.993.
link(74,54) :- #0.548.
link(54,75) :- #0.532.
link(75,54) :- #0.79.
link(54,78) :- #0.161.
link(78,54) :- #0.595.
link(54,95) :- #0.159.
link(95,54) :- #0.473.
link(54,105) :- #0.071.
link(105,54) :- #0.649.
link(54,118) :- #0.349.
link(118,54) :- #0.281.
link(54,122) :- #0.438.
link(122,54) :- #0.413.
link(54,127) :- #0.037.
link(127,54) :- #0.158.
link(55,58) :- #0.495.
link(58,55) :- #0.917.
link(55,63) :- #0.868.
link(63,55) :- #0.883.
link(55,78) :- #0.497.
link(78,55) :- #0.727.
link(55,79) :- #0.33.
link(79,55) :- #0.953.
link(55,81) :- #0.969.
link(81,55) :- #0.163.
link(55,82) :- #0.52.
link(82,55) :- #0.592.
link(55,83) :- #0.415.
link(83,55) :- #0.261.
link(55,91) :- #0.531.
link(91,55) :- #0.894.
link(55,96) :- #0.901.
link(96,55) :- #0.57.
link(55,116) :- #0.079.
link(116,55) :- #0.325.
link(55,120) :- #0.023.
link(120,55) :- #0.631.
link(55,128) :- #0.952.
link(128,55) :- #0.47.
link(55,130) :- #0.795.
link(130,55) :- #0.396.
link(56,68) :- #0.551.
link(68,56) :- #0.181.
link(56,91) :- #0.559.
link(91,56) :- #0.962.
link(56,94) :- #0.178.
link(94,56) :- #0.906.
link(56,119) :- #0.804.
link(119,56) :- #0.501.
link(56,125) :- #0.964.
link(125,56) :- #0.69.
link(56,129) :- #0.449.
link(129,56) :- #0.803.
link(56,130) :- #0.344.
link(130,56) :- #0.91.
link(57,73) :- #0.74.
link(73,57) :- #0.558.
link(57,75) :- #0.801.
link(75,57) :- #0.467.
link(57,78) :- #0.035.
link(78,57) :- #0.708.
link(57,124) :- #0.151.
link(124,57) :- #0.81.
link(58,63) :- #0.783.
link(63,58) :- #0.287.
link(58,68) :- #0.673.
link(68,58) :- #0.429.
link(58,72) :- #0.514.
link(72,58) :- #0.404.
link(58,74) :- #0.008.
link(74,58) :- #0.371.
link(58,78) :- #0.453.
link(78,58) :- #0.887.
link(58,84) :- #0.24.
link(84,58) :- #0.034.
link(58,94) :- #0.797.
link(94,58) :- #0.757.
link(58,124) :- #0.402.
link(124,58) :- #0.009.
link(59,75) :- #0.165.
link(75,59) :- #0.891.
link(59,82) :- #0.564.
link(82,59) :- #0.763.
link(59,98) :- #0.311.
link(98,59) :- #0.86.
link(59,100) :- #0.369.
link(100,59) :- #0.564.
link(59,105) :- #0.802.
link(105,59) :- #0.043.
link(59,108) :- #0.809.
link(108,59) :- #0.445.
link(59,109) :- #0.972.
link(109,59) :- #0.445.
link(59,115) :- #0.981.
link(115,59) :- #0.264.
link(59,121) :- #0.332.
link(121,59) :- #0.439.
link(59,130) :- #0.679.
link(130,59) :- #0.87.
link(60,74) :- #0.724.
link(74,60) :- #0.46.
link(60,76) :- #0.849.
link(76,60) :- #0.031.
link(60,85) :- #0.419.
link(85,60) :- #0.085.
link(60,101) :- #0.036.
link(101,60) :- #0.536.
link(60,106) :- #0.017.
link(106,60) :- #0.106.
link(60,111) :- #0.968.
link(111,60) :- #0.81.
link(60,116) :- #0.361.
link(116,60) :- #0.249.
link(60,119) :- #0.927.
link(119,60) :- #0.312.
link(60,123) :- #0.613.
link(123,60) :- #0.841.
link(61,118) :- #0.67.
link(118,61) :- #0.183.
link(61,123) :- #0.455.
link(123,61) :- #0.444.
link(62,77) :- #0.614.
link(77,62) :- #0.263.
link(62,80) :- #0.887.
link(80,62) :- #0.875.
link(62,96) :- #0.055.
link(96,62) :- #0.128.
link(62,122) :- #0.06.
link(122,62) :- #0.666.
link(62,127) :- #0.296.
link(127,62) :- #0.87.
link(63,69) :- #0.595.
link(69,63) :- #0.426.
link(63,74) :- #0.034.
link(74,63) :- #0.41.
link(63,81) :- #0.223.
link(81,63) :- #0.554.
link(63,82) :- #0.896.
link(82,63) :- #0.404.
link(63,107) :- #0.714.
link(107,63) :- #0.612.
link(63,108) :- #0.047.
link(108,63) :- #0.773.
link(63,116) :- #0.705.
link(116,63) :- #0.461.
link(64,67) :- #0.684.
link(67,64) :- #0.265.
link(64,94) :- #0.541.
link(94,64) :- #0.181.
link(64,110) :- #0.57.
link(110,64) :- #0.775.
link(64,112) :- #0.659.
link(112,64) :- #0.041.
link(64,114) :- #0.519.
link(114,64) :- #0.701.
link(64,127) :- #0.709.
link(127,64) :- #0.39.
link(65,70) :- #0.794.
link(70,65) :- #0.865.
link(65,76) :- #0.007.
link(76,65) :- #0.852.
link(65,91) :- #0.179.
link(91,65) :- #0.415.
link(65,94) :- #0.147.
link(94,65) :- #0.287.
link(65,97) :- #0.197.
link(97,65) :- #0.029.
link(65,105) :- #0.758.
link(105,65) :- #0.638.
link(66,67) :- #0.608.
link(67,66) :- #0.239.
link(66,75) :- #0.311.
link(75,66) :- #0.302.
link(66,77) :- #0.331.
link(77,66) :- #0.14.
link(66,78) :- #0.141.
link(78,66) :- #0.418.
link(66,84) :- #0.865.
link(84,66) :- #0.213.
link(66,101) :- #0.203.
link(101,66) :- #0.558.
link(66,123) :- #0.793.
link(123,66) :- #0.972.
link(67,71) :- #0.443.
link(71,67) :- #0.239.
link(67,75) :- #0.27.
link(75,67) :- #0.148.
link(67,85) :- #0.785.
link(85,67) :- #0.531.
link(67,88) :- #0.242.
link(88,67) :- #0.674.
link(67,93) :- #0.857.
link(93,67) :- #0.457.
link(67,96) :- #0.492.
link(96,67) :- #0.971.
link(67,106) :- #0.407.
link(106,67) :- #0.734.
link(67,114) :- #0.321.
link(114,67) :- #0.397.
link(67,130) :- #0.505.
link(130,67) :- #0.744.
link(68,70) :- #0.338.
link(70,68) :- #0.925.
link(68,83) :- #0.783.
link(83,68) :- #0.933.
link(68,88) :- #0.515.
link(88,68) :- #0.677.
link(68,96) :- #0.995.
link(96,68) :- #0.544.
link(68,98) :- #0.594.
link(98,68) :- #0.02.
link(68,108) :- #0.852.
link(108,68) :- #0.958.
link(68,116) :- #0.298.
link(116,68) :- #0.129.
link(68,130) :- #0.576.
link(130,68) :- #0.611.
link(69,80) :- #0.563.
link(80,69) :- #0.957.
link(69,101) :- #0.6.
link(101,69) :- #0.581.
link(69,118) :- #0.414.
link(118,69) :- #0.969.
link(70,87) :- #0.946.
link(87,70) :- #0.367.
link(70,94) :- #0.875.
link(94,70) :- #0.111.
link(70,108) :- #0.544.
link(108,70) :- #0.074.
link(70,110) :- #0.758.
link(110,70) :- #0.913.
link(70,113) :- #0.279.
link(113,70) :- #0.273.
link(70,122) :- #0.724.
link(122,70) :- #0.059.
link(71,84) :- #0.105.
link(84,71) :- #0.007.
link(71,95) :- #0.133.
link(95,71) :- #0.023.
link(71,99) :- #0.86.
link(99,71) :- #0.08.
link(71,125) :- #0.963.
link(125,71) :- #0.594.
link(72,88) :- #0.561.
link(88,72) :- #0.557.
link(72,106) :- #0.102.
link(106,72) :- #0.149.
link(72,111) :- #0.01.
link(111,72) :- #0.829.
link(72,114) :- #0.351.
link(114,72) :- #0.081.
link(72,127) :- #0.594.
link(127,72) :- #0.111.
link(73,85) :- #0.253.
link(85,73) :- #0.714.
link(73,91) :- #0.658.
link(91,73) :- #0.743.
link(73,124) :- #0.846.
link(124,73) :- #0.551.
link(73,128) :- #0.721.
link(128,73) :- #0.207.
link(74,86) :- #0.479.
link(86,74) :- #0.738.
link(74,90) :- #0.997.
link(90,74) :- #0.672.
link(74,91) :- #0.024.
link(91,74) :- #0.922.
link(74,102) :- #0.049.
link(102,74) :- #0.961.
link(74,109) :- #0.267.
link(109,74) :- #0.133.
link(74,130) :- #0.137.
link(130,74) :- #0.62.
link(75,76) :- #0.585.
link(76,75) :- #0.316.
link(75,84) :- #0.866.
link(84,75) :- #0.921.
link(75,91) :- #0.589.
link(91,75) :- #0.531.
link(75,93) :- #0.594.
link(93,75) :- #0.963.
link(75,106) :- #0.455.
link(106,75) :- #0.496.
link(76,99) :- #0.546.
link(99,76) :- #0.954.
link(76,102) :- #0.704.
link(102,76) :- #0.109.
link(76,111) :- #0.728.
link(111,76) :- #0.368.
link(76,115) :- #0.13.
link(115,76) :- #0.1.
link(76,118) :- #0.14.
link(118,76) :- #0.171.
link(76,127) :- #0.066.
link(127,76) :- #0.144.
link(77,78) :- #0.959.
link(78,77) :- #0.11.
link(77,82) :- #0.81.
link(82,77) :- #0.48.
link(77,89) :- #0.796.
link(89,77) :- #0.062.
link(77,102) :- #0.607.
link(102,77) :- #0.321.
link(77,107) :- #0.713.
link(107,77) :- #0.408.
link(77,122) :- #0.319.
link(122,77) :- #0.628.
link(78,86) :- #0.853.
link(86,78) :- #0.017.
link(78,116) :- #0.81.
link(116,78) :- #0.139.
link(78,130) :- #0.557.
link(130,78) :- #0.666.
link(79,86) :- #0.975.
link(86,79) :- #0.907.
link(79,115) :- #0.053.
link(115,79) :- #0.134.
link(79,126) :- #0.399.
link(126,79) :- #0.112.
link(80,94) :- #0.928.
link(94,80) :- #0.009.
link(80,105) :- #0.404.
link(105,80) :- #0.015.
link(80,126) :- #0.809.
link(126,80) :- #0.754.
link(80,128) :- #0.945.
link(128,80) :- #0.829.
link(81,82) :- #0.158.
link(82,81) :- #0.296.
link(81,86) :- #0.724.
link(86,81) :- #0.92.
link(81,87) :- #0.893.
link(87,81) :- #0.483.
link(81,88) :- #0.389.
link(88,81) :- #0.402.
link(81,101) :- #0.288.
link(101,81) :- #0.878.
link(81,108) :- #0.668.
link(108,81) :- #0.287.
link(81,113) :- #0.212.
link(113,81) :- #0.55.
link(81,120) :- #0.268.
link(120,81) :- #0.199.
link(82,87) :- #0.258.
link(87,82) :- #0.739.
link(82,103) :- #0.
link(103,82) :- #0.248.
link(82,111) :- #0.58.
link(111,82) :- #0.222.
link(83,95) :- #0.459.
link(95,83) :- #0.319.
link(83,96) :- #0.65.
link(96,83) :- #0.274.
link(83,119) :- #0.98.
link(119,83) :- #0.27.
link(84,86) :- #0.5.
link(86,84) :- #0.667.
link(84,92) :- #0.352.
link(92,84) :- #0.713.
link(84,97) :- #0.098.
link(97,84) :- #0.911.
link(84,103) :- #0.766.
link(103,84) :- #0.23.
link(84,112) :- #0.032.
link(112,84) :- #0.077.
link(84,128) :- #0.683.
link(128,84) :- #0.428.
link(84,130) :- #0.843.
link(130,84) :- #0.957.
link(85,105) :- #0.361.
link(105,85) :- #0.769.
link(85,124) :- #0.741.
link(124,85) :- #0.106.
link(85,128) :- #0.693.
link(128,85) :- #0.005.
link(86,109) :- #0.706.
link(109,86) :- #0.568.
link(86,116) :- #0.12.
link(116,86) :- #0.451.
link(86,121) :- #0.599.
link(121,86) :- #0.648.
link(87,90) :- #0.905.
link(90,87) :- #0.689.
link(87,93) :- #0.891.
link(93,87) :- #0.477.
link(87,102) :- #0.901.
link(102,87) :- #0.233.
link(87,113) :- #0.428.
link(113,87) :- #0.791.
link(88,92) :- #0.539.
link(92,88) :- #0.698.
link(88,100) :- #0.641.
link(100,88) :- #0.182.
link(88,101) :- #0.653.
link(101,88) :- #0.299.
link(90,96) :- #0.169.
link(96,90) :- #0.34.
link(90,97) :- #0.551.
link(97,90) :- #0.524.
link(90,111) :- #0.755.
link(111,90) :- #0.617.
link(90,115) :- #0.602.
link(115,90) :- #0.348.
link(90,120) :- #0.814.
link(120,90) :- #0.619.
link(91,100) :- #0.307.
link(100,91) :- #0.87.
link(91,106) :- #0.357.
link(106,91) :- #0.947.
link(91,109) :- #0.238.
link(109,91) :- #0.018.
link(92,109) :- #0.311.
link(109,92) :- #0.441.
link(92,111) :- #0.183.
link(111,92) :- #0.614.
link(92,114) :- #0.122.
link(114,92) :- #0.004.
link(92,116) :- #0.977.
link(116,92) :- #0.254.
link(92,124) :- #0.128.
link(124,92) :- #0.988.
link(92,125) :- #0.722.
link(125,92) :- #0.908.
link(92,128) :- #0.373.
link(128,92) :- #0.075.
link(93,95) :- #0.716.
link(95,93) :- #0.068.
link(93,103) :- #0.471.
link(103,93) :- #0.064.
link(93,104) :- #0.571.
link(104,93) :- #0.321.
link(93,123) :- #0.057.
link(123,93) :- #0.184.
link(94,97) :- #0.502.
link(97,94) :- #0.319.
link(94,98) :- #0.3.
link(98,94) :- #0.65.
link(95,97) :- #0.076.
link(97,95) :- #0.773.
link(95,113) :- #0.668.
link(113,95) :- #0.778.
link(95,126) :- #0.185.
link(126,95) :- #0.864.
link(96,100) :- #0.441.
link(100,96) :- #0.925.
link(96,104) :- #0.306.
link(104,96) :- #0.84.
link(96,110) :- #0.56.
link(110,96) :- #0.69.
link(96,127) :- #0.233.
link(127,96) :- #0.664.
link(98,105) :- #0.046.
link(105,98) :- #0.973.
link(99,109) :- #0.26.
link(109,99) :- #0.897.
link(99,112) :- #0.979.
link(112,99) :- #0.623.
link(99,115) :- #0.85.
link(115,99) :- #0.203.
link(99,116) :- #0.594.
link(116,99) :- #0.186.
link(99,119) :- #0.214.
link(119,99) :- #0.488.
link(99,120) :- #0.337.
link(120,99) :- #0.897.
link(99,127) :- #0.183.
link(127,99) :- #0.89.
link(101,119) :- #0.44.
link(119,101) :- #0.983.
link(101,121) :- #0.446.
link(121,101) :- #0.254.
link(101,123) :- #0.929.
link(123,101) :- #0.143.
link(102,107) :- #0.635.
link(107,102) :- #0.952.
link(103,105) :- #0.628.
link(105,103) :- #0.837.
link(103,109) :- #0.104.
link(109,103) :- #0.732.
link(104,105) :- #0.327.
link(105,104) :- #0.688.
link(104,107) :- #0.292.
link(107,104) :- #0.681.
link(104,111) :- #0.327.
link(111,104) :- #0.758.
link(105,110) :- #0.582.
link(110,105) :- #0.33.
link(107,112) :- #0.154.
link(112,107) :- #0.88.
link(107,122) :- #0.02.
link(122,107) :- #0.812.
link(108,114) :- #0.797.
link(114,108) :- #0.322.
link(108,127) :- #0.598.
link(127,108) :- #0.857.
link(109,111) :- #0.791.
link(111,109) :- #0.225.
link(109,113) :- #0.057.
link(113,109) :- #0.238.
link(109,124) :- #0.187.
link(124,109) :- #0.042.
link(110,112) :- #0.077.
link(112,110) :- #0.012.
link(110,117) :- #0.866.
link(117,110) :- #0.268.
link(110,120) :- #0.815.
link(120,110) :- #0.216.
link(111,130) :- #0.885.
link(130,111) :- #0.408.
link(112,122) :- #0.092.
link(122,112) :- #0.389.
link(112,128) :- #0.013.
link(128,112) :- #0.355.
link(114,120) :- #0.18.
link(120,114) :- #0.731.
link(116,129) :- #0.326.
link(129,116) :- #0.165.
link(118,120) :- #0.341.
link(120,118) :- #0.641.
link(119,121) :- #0.518.
link(121,119) :- #0.007.
link(120,130) :- #0.809.
link(130,120) :- #0.694.
link(121,122) :- #0.384.
link(122,121) :- #0.498.
link(121,126) :- #0.09.
link(126,121) :- #0.654.
link(121,128) :- #0.912.
link(128,121) :- #0.436.
link(121,130) :- #0.784.
link(130,121) :- #0.213.
link(122,126) :- #0.494.
link(126,122) :- #0.619.
link(123,124) :- #0.053.
link(124,123) :- #0.739.
link(125,127) :- #0.504.
link(127,125) :- #0.855.
link(128,130) :- #0.526.
link(130,128) :- #0.258.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
